Andrey Rybalchenko: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A validated LC–MS/MS method for fast detection of thiodiglycolic acid in aqueous samples

Rodin, Igor, Braun, Arcady, Stavrianidi, Andrey, Baygildiev, Timur, Rybalchenko, Igor, Shpigun, Oleg

Journal:

International Journal of Environmental & Analytical Chemistry

Year:

2016

Language:

english

File:

PDF, 1.24 MB

english, 2016

2

New Techniques for Nerve Agent Oxidation Products Determination in Environmental Water by High-Performance Liquid Chromatography-Mass Spectrometry (HPLC-MS) and Capillary Electrophoresis (CE) with Direct Ultraviolet (UV) Detection

Rodin, Igor, Stavrianidi, Andrey, Smirnov, Roman, Braun, Arkady, Shpigun, Oleg, Rybalchenko, Igor

Journal:

Environmental Forensics

Year:

2013

Language:

english

File:

PDF, 937 KB

english, 2013

3

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Approximation and Randomization for Quantitative Information-Flow Analysis

Köpf, Boris, Rybalchenko, Andrey

Year:

2010

Language:

english

File:

PDF, 253 KB

english, 2010

4

Constraint solving for interpolation

Andrey Rybalchenko, Viorica Sofronie-Stokkermans

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 547 KB

english, 2010

5

Model checking Duration Calculus: a practical approach

Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 469 KB

english, 2008

6

Summarization for termination: no return!

Byron Cook, Andreas Podelski, Andrey Rybalchenko

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 520 KB

english, 2009

7

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 251 KB

english, 2012

8

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || The Reachability Problem over Infinite Graphs

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 135 KB

english, 2009

9

Lewisite metabolites detection in urine by liquid chromatography–tandem mass spectrometry

Igor Rodin, Arkady Braun, Andrey Stavrianidi, Oleg Shpigun, Igor Rybalchenko

Journal:

Journal of Chromatography B

Year:

2011

Language:

english

File:

PDF, 1.65 MB

english, 2011

10

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || Concatenation of Regular Languages and Descriptional Complexity

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 272 KB

english, 2009

11

From tests to proofs

Ashutosh Kumar Gupta, Rupak Majumdar, Andrey Rybalchenko

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 518 KB

english, 2013

12

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Automated Methods for Proving Program Termination and Liveness

Rybalchenko, Andrey

Year:

2009

Language:

english

File:

PDF, 136 KB

english, 2009

13

[IEEE 2009 30th IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2009.05.17-2009.05.20)] 2009 30th IEEE Symposium on Security and Privacy - Automatic Discovery and Quantification of Information Leaks

Backes, Michael, Köpf, Boris, Rybalchenko, Andrey

Year:

2009

Language:

english

File:

PDF, 247 KB

english, 2009

14

Hydrophilic Interaction Liquid Chromatography Tandem Mass Spectrometry Methylphosphonic Acid Determination in Water Samples after Derivatization withp-Bromophenacyl Bromide

Rodin, Igor, Baygildiev, Timur, Stavrianidi, Andrey, Braun, Arcady, Rybalchenko, Igor, Shpigun, Oleg

Journal:

Chromatographia

Year:

2015

Language:

english

File:

PDF, 622 KB

english, 2015

15

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 ||

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 5.87 MB

english, 2012

16

Structure and Fatigue Properties of Cr-Ni-Ti Austenitic Steel after Equal Channel Angular Pressing

Dobatkin, Sergey V., Skrotzki, Werner, Terent’ev, Vladimir, Rybalchenko, Olga, Belyakov, Andrey, Prosvirnin, Dmitry, Zolotarev, Eugenie

Journal:

Materials Science Forum

Year:

2014

Language:

english

File:

PDF, 1.39 MB

english, 2014

17

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Model Checking Information Flow in Reactive Systems

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 301 KB

english, 2012

18

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Loop Invariant Symbolic Execution for Parallel Programs

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 303 KB

english, 2012

19

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || An Optimal Bloom Filter Replacement Based on Matrix Solving

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 195 KB

english, 2009

20

[Lecture Notes in Computer Science] Verified Software: Theories, Tools, Experiments Volume 8164 || Formal Verification of Loop Bound Estimation for WCET Analysis

Cohen, Ernie, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 603 KB

english, 2014

21

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || On Models of a Nondeterministic Computation

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 191 KB

english, 2009

22

Proving program termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 3.55 MB

english, 2011

23

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 596 KB

english, 2011

24

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - Termination proofs for systems code

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Year:

2006

Language:

english

File:

PDF, 175 KB

english, 2006

25

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Proving non-termination

Gupta, Ashutosh, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey, Xu, Ru-Gang

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

26

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Path invariants

Beyer, Dirk, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

27

Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 283 KB

english, 2007

28

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Predicate abstraction and refinement for verifying multi-threaded programs

Gupta, Ashutosh, Popeea, Corneliu, Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 567 KB

english, 2011

29

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Proving that programs eventually do something good

Cook, Byron, Gotsman, Alexey, Podelski, Andreas, Rybalchenko, Andrey, Vardi, Moshe Y.

Year:

2007

Language:

english

File:

PDF, 633 KB

english, 2007

30

[ACM Press the 13th international ACM SIGPLAN symposium - Odense, Denmark (2011.07.20-2011.07.22)] Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11 - Towards automatic synthesis of software verification tools

Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 315 KB

english, 2011

31

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A constraint-based approach to solving games on infinite graphs

Beyene, Tewodros, Chaudhuri, Swarat, Popeea, Corneliu, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 584 KB

english, 2014

32

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - CTL+FO verification as constraint solving

Beyene, Tewodros A., Brockschmidt, Marc, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 309 KB

english, 2014

33

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Verifying liveness for asynchronous programs

Ganty, Pierre, Majumdar, Rupak, Rybalchenko, Andrey

Year:

2008

Language:

english

File:

PDF, 316 KB

english, 2008

34

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Year:

2007

Language:

english

File:

PDF, 283 KB

english, 2007

35

Transition predicate abstraction and fair termination

Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 525 KB

english, 2007

36

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Synthesizing software verifiers from proof rules

Grebenshchikov, Sergey, Lopes, Nuno P., Popeea, Corneliu, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 608 KB

english, 2012

37

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Reduction for compositional verification of multi-threaded programs

Popeea, Corneliu, Rybalchenko, Andrey, Wilhelm, Andreas

Year:

2014

Language:

english

File:

PDF, 633 KB

english, 2014

38

Applying Prolog to develop distributed systems

LOPES, NUNO P., NAVARRO, JUAN A., RYBALCHENKO, ANDREY, SINGH, ATUL

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 528 KB

english, 2010

39

Preface: Special Issue on Interpolation

Kroening, Daniel, Rybalchenko, Andrey

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 303 KB

english, 2016

40

Proving that programs eventually do something good

Cook, Byron, Gotsman, Alexey, Podelski, Andreas, Rybalchenko, Andrey, Vardi, Moshe Y.

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 633 KB

english, 2007

41

Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 596 KB

english, 2012

42

Termination proofs for systems code

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 175 KB

english, 2006

43

Proving non-termination

Gupta, Ashutosh, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey, Xu, Ru-Gang

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

44

Path invariants

Beyer, Dirk, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

45

From Corannulene to Indacenopicene: Effect of Carbon Framework Topology on Aromaticity and Reduction Limits

Spisak, Sarah N., Li, Jingbai, Rogachev, Andrey Yu., Wei, Zheng, Papaianina, Olena, Amsharov, Konstantin, Rybalchenko, Alexey V., Goryunkov, Alexey A., Petrukhina, Marina A.

Journal:

Organometallics

Year:

2016

Language:

english

File:

PDF, 3.47 MB

english, 2016

46

Verifying liveness for asynchronous programs

Ganty, Pierre, Majumdar, Rupak, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 316 KB

english, 2009

47

Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 596 KB

english, 2011

48

Predicate abstraction and refinement for verifying multi-threaded programs

Gupta, Ashutosh, Popeea, Corneliu, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 567 KB

english, 2011

49

"Dilute-and-shoot" rapid-separation liquid chromatography tandem mass spectrometry method for fast detection of thiodiglycolic acid in urine

Baygildiev, Timur, Braun, Arcady, Stavrianidi, Andrey, Rodin, Igor, Shpigun, Oleg, Rybalchenko, Igor, Ananieva, Irina

Journal:

European Journal of Mass Spectrometry

Year:

2015

Language:

english

File:

PDF, 627 KB

english, 2015

50

Rapid IC-MS/MS determination of methylphosphonic acid in urine of rats exposed to organophosphorus nerve agents

Baygildiev, Timur, Zatirakha, Alexandra, Rodin, Igor, Braun, Arcady, Stavrianidi, Andrey, Koryagina, Nadezhda, Rybalchenko, Igor, Shpigun, Oleg

Journal:

Journal of Chromatography B

Year:

2017

Language:

english

File:

PDF, 698 KB

english, 2017